A note on first-order spectra with binary relations
نویسندگان
چکیده
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at least three variables. We show that for every such sentence Φ, there is a sentence Φ that uses the same number of variables, but only one symmetric binary relation, such that its spectrum is linearly proportional to the spectrum of Φ. Moreover, the models of Φ are all bipartite graphs. As a corollary, we obtain that to settle Asser’s conjecture, i.e., whether the class of spectra is closed under complement, it is sufficient to consider only sentences using only three variables whose models are restricted to undirected bipartite graphs. Subject class: F.4.1 Mathematical Logic; F.1.3 Complexity Measures and Classes.
منابع مشابه
Aerodynamic Design Optimization Using Genetic Algorithm (RESEARCH NOTE)
An efficient formulation for the robust shape optimization of aerodynamic objects is introduced in this paper. The formulation has three essential features. First, an Euler solver based on a second-order Godunov scheme is used for the flow calculations. Second, a genetic algorithm with binary number encoding is implemented for the optimization procedure. The third ingredient of the procedure is...
متن کاملSome recurrence relations for binary sequence matrices
This note compares and contrasts some properties of binary sequences with matrices and associated recurrence relations in order to stimulate some enrichment exercises and pattern puzzles.
متن کاملSimultaneous Quantitation of Theophylline and Guaifenesin in Syrup by HPLC, Derivative and Derivative Ratio Spectrophotometry for Quality Control Purposes
The aim of the present work was to develop a simple and rapid method for determination of theophylline (THP) and guaifenesin (GU) in syrup without involving any preparation operations like separation or masking. A HPLC and two spectrophotometric methods based on the derivation of the main spectra are described for the determination of THP and GU in combined pharmaceutical syrup form. The first ...
متن کاملCounting Transitive Relations
In order to count partial orders on a set of n points, it seems necessary to explicitly construct a representative of every isomorphism type. While that is done, one might as well determine their automorphism groups. In this note it is shown how several other types of binary relations can be counted, based on an explicit enumeration of the partial orders and their automorphism groups. A partial...
متن کاملAlternative Treatments of Common Binary Relations in First-order Automated Reasoning
We present a number of alternative ways of handling transitive binary relations that commonly occur in first-order problems, in particular equivalence relations, total orders, and reflexive, transitive relations. We show how such relations can be discovered syntactically in an input theory. We experimentally evaluate different treatments on problems from the TPTP, using resolution-based reasoni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1706.08691 شماره
صفحات -
تاریخ انتشار 2017